symbolic logic

symbolic logic

美 　英

• na.【数】符号逻辑
• 网络数理逻辑；符号逻萝辑；象征逻辑

英汉解释

na.	1. 【数】符号逻辑,数理逻辑

英英解释

n.	1. the branch of formal logic that studies the meaning and relationships of statements through precise mathematical methods and a standardized system of symbols and rules of inference

例句

Symbolic logic is often divided into two branches, propositional logic and predicate logic.

符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。

I'll just leave you with a little conundrum because that's philosophical logic we're not doing that here, we are doing symbolic logic here.

我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。

So the research on symbolic logic become an academic focus, the French philosopher Jean Baudrillard is a typical representative.

于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。

Clearly the infamous inventor of symbolic logic, Dr. George Boole -- see Resources -- would feel right at home.

显然，“声名狼籍的”符号逻辑发明者GeorgeBoole博士—请参阅参考资料—会觉得这些选项很亲切。

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

This text will first introduce you one branch of symbolic logic, what is generally called sentential , or propositional, logic.

本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。

Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.

阅读关于GeorgeBoole博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。

Atom propositions are the basic unit of symbolic logic.

原子命题是数理逻辑研究的基本单位。

an operation that follows the rules of symbolic logic.

依据数理逻辑法则进行的操作或运算。

it is an example of symbolic logic.

这是个象征逻辑的例子。

Application of Symbolic Logic Statistics in Laboratory

数理统计在化验室的应用

Thoughts on Semi-symbolic Logic--From the Angle of Education

对半符号逻辑的思考--从教育的观点看

The Journal of symbolic logic

符号逻辑杂志